Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Dimitra Giannakopoulou (Editor), Gwen Salaun (Editor)
